Merge pull request #1651 from antonio-nino-diaz-arm/an/rand-misra
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Tue, 30 Oct 2018 14:48:02 +0000 (15:48 +0100)
committerGitHub <noreply@github.com>
Tue, 30 Oct 2018 14:48:02 +0000 (15:48 +0100)
Fix some MISRA defects


Trivial merge